\documentclass{article}
\usepackage{amssymb,amsmath,amscd,concmath}
\pagestyle{empty}
\begin{document}
\begin{equation*}(x)(z)Px\supset(y)sqrt{(Ky \wedge Qz)\mu\vee Bwzz}\swarrow(Rx \wedge Rz)\wedge(y)\genfrac{Yy\vee\pi\pi\sq(a)(x)(z)\lambda[Az\wedge Ax\wedge Aa]}\omega\wedge\nearrow diddlysquat\not(y)\(Py\vee Sy)\end{equation*}
\end{document}
